hvm: Processor Objects require unique IDs.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/firmware/hvmloader/acpi/build.c b/tools/firmware/hvmloader/acpi/build.c
index ab3eac16d23c21b9d4f88a55f20527a2e9c41f82..ff99160612bd60c379c4534a79143f33d2a57e50 100644 (file)
--- a/tools/firmware/hvmloader/acpi/build.c
+++ b/tools/firmware/hvmloader/acpi/build.c
@@ -205,8 +205,11 @@ int construct_processor_objects(uint8_t *buf)
     for ( i = 0; i < nr_cpus; i++ )
     {
         memcpy(p, pdat, sizeof(pdat));
+        /* ProcessorName */
         p[5] = hex[(i>>4)&15];
         p[6] = hex[(i>>0)&15];
+        /* ProcessorID */
+        p[7] = i;
         p += sizeof(pdat);
     }